<?php

$body_file = "09-30-2022-integer-operations. php";

include("header.php");
include("body.php");
include("footer.php");

?>